521. Semantics for concurrency :
Author: [edited by] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems -- Parallel programming,Parallel programming (Computer science)
Classification :
QA76
.
6
E358
1990
522. Semi-physical verification technology for dynamic performance of internet of things system /
Author: Xiaolei Yu, Donghua Wang, Zhimin Zhao.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems-- Verification.,Internet of things.,Radio frequency identification systems.,Communications Engineering, Networks.,Electronics and Microelectronics, Instrumentation.,Engineering.,Microwaves, RF and Optical Engineering.,Vibration, Dynamical Systems, Control.,Communications engineering / telecommunications.,Computer systems-- Verification.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Dynamics & vibration.,Electronics engineering.,Internet of things.,Microwave technology.,Radio frequency identification systems.
Classification :
TK5105
.
8857
523. Shortest path solvers :
Author: Andrew Adamatzky, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular automata.,Computer algorithms.,Mathematical optimization.,Artificial intelligence.,Cellular automata.,Computer algorithms.,COMPUTERS-- General.,Cybernetics & systems theory.,Mathematical optimization.
Classification :
QA76
.
9
.
A43
524. Social information access :
Author: edited by Peter Brusilovsky, Daqing He.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software.,Computer science.,Computers and civilization.,Data mining.,Information storage and retrieval systems-- Social sciences.,Social media.,User interfaces (Computer systems),Application software.,Computer science.,Computers and civilization.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Social Aspects-- General.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Data mining.,Data mining.,Ethical & social aspects of IT.,Information retrieval.,Information storage and retrieval systems-- Social sciences.,Social media.,Society & social sciences.,User interface design & usability.,User interfaces (Computer systems)
Classification :
QA76
.
76
.
A65
525. Soft Computing in Data Analytics :
Author: edited by Janmenjoy Nayak [and 4 others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data mining, Congresses.,Evolutionary computation, Congresses.,Human-computer interaction, Congresses.,Pattern recognition systems, Congresses.,Soft computing, Congresses.,COMPUTERS-- General.,Data mining.,Evolutionary computation.,Human-computer interaction.,Pattern recognition systems.,Soft computing.
Classification :
QA76
.
9
.
S63
526. Soft computing and medical bioinformatics /
Author: Naresh Babu Muppalaneni, Maode Ma, Sasikumar Gurumoorthy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Biomedical engineering.,Soft computing.,Medical Informatics.,Biomedical engineering.,HEALTH & FITNESS-- Holism.,HEALTH & FITNESS-- Reference.,MEDICAL-- Alternative Medicine.,MEDICAL-- Atlases.,MEDICAL-- Essays.,MEDICAL-- Family & General Practice.,MEDICAL-- Holistic Medicine.,MEDICAL-- Osteopathy.,Soft computing.
Classification :
R856
527. Software architectures and tools for computer aided process engineering /
Author: edited by Bertrand Braunschweig, Rafiqul Gani.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemical process control-- Data processing.,Computer architecture.,Computer integrated manufacturing systems.,Computer software.,Industries-- European Union countries.,Chemical process control-- Data processing.,Computer architecture.,Computer integrated manufacturing systems.,Computer software.,COMPUTERS-- CAD-CAM.,Industries.,European Union countries., 7
Classification :
QA76
.
754
.
S6448
2002eb
528. Software engineering :
Author: M.N. Hoda, Naresh Chauhan, S.M.K. Quadri, Praveen Ranjan Srivastava, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Human factors, Congresses.,Human computation, Congresses.,Software engineering, Congresses.,Computer software-- Human factors.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human computation.,Software engineering.
Classification :
QA76
.
9
.
H84
529. Software engineering methods in intelligent algorithms :
Author: Radek Silhavy, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Engineering, Congresses.,Artificial intelligence.,Computational intelligence.,COMPUTERS-- General.,Engineering.
Classification :
Q342
.
C66
2019
530. Solar PV and wind energy conversion systems :
Author: S. Sumathi, L. Ashok Kumar, P. Surekha.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Photovoltaic power generation-- Computer simulation.,Soft computing.,Wind energy conversion systems-- Computer simulation.,Alternative & renewable energy sources & technology.,Energy technology & engineering.,Photovoltaic power generation-- Computer simulation.,Power generation & distribution.,Power networks, systems, stations & plants.,Science-- Energy.,Soft computing.,Technology & Engineering-- Machinery.,Technology & Engineering-- Power Resources-- General.
Classification :
TK1087
531. Star identification :
Author: Guangjun Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Astrometry.,Navigation.,Stars.
Classification :
QB807
532. Static Analysis :
Author: by Patrick Cousot, Moreno Falaschi, Gilberto File.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
533. Still Image Compression on Parallel Computer Architectures
Author: by Savitri Bevinakoppa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer vision.,Multimedia systems.
534. Stochastic local search :
Author: Holger H. Hoos, Thomas Stützle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Combinatorial analysis.,Stochastic programming.,Algorithmes.,Analyse combinatoire.,Programmation stochastique.,Algorithms.,Combinatória.,Combinatorial analysis.,Heurística.,Inteligência artificial.,MATHEMATICS-- Optimization.,Otimização combinatória.,Stochastic programming.
Classification :
T57
.
79
.
H66
2005eb
535. String processing and information retrieval :
Author: edited by Travis Gagie, Alistair Moffat, Gonzalo Navarro, Ernesto Cuadros-Vargas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information retrieval, Congresses.,Text processing (Computer science), Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Computer Imaging, Vision, Pattern Recognition and Graphics.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information retrieval.,Text processing (Computer science)
Classification :
QA76
.
9
.
T48
536. Structural Information and Communication Complexity :
Author: Keren Censor-Hillel, Michele Flammini (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Computer networks.,Digital communications.,Electronic data processing-- Distributed processing.
Classification :
QA76
.
9
.
A43
537. Structural information and communication complexity :
Author: Zvi Lotker, Boaz Patt-Shamir (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
Classification :
QA76
.
9
.
A43
538. Structure in Modern Data and How to Exploit It:
Author: Lodhi, Muhammad Asad
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Engineering
539. Structure in Modern Data and How to Exploit It: Some Signal Processing Applications
Author: Lodhi, Muhammad Asad
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Engineering
540. Supercomputing frontiers :
Author: Rio Yokota, Weigang Wu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Supercomputers, Congresses.,Supercomputers.
Classification :
QA76
.
88
